diminished increment sort - Allemand Anglais Dictionnaire